Intuitional Strong Löb Logic
References